81. Computer Aided Verification :
Author: edited by Rajeev Alur, Thomas A. Henzinger.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
82. Computer aided systems theory--EUROCAST '93 :
Author: F. Pichler, R. Moreno Díaz, eds.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer-aided design, Congresses.,Computer-aided engineering, Congresses.
Classification :
TA345
.
I62
1993
83. Computer algebra in quantum field theory
Author: / edited by Carsten Schneider, Johannes Blumlein
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Quantum field theory, Data processing,Quantum field theory, Mathematics,Algebra, Computer programs,SCIENCE / Energy, bisacsh,SCIENCE / Mechanics / General, bisacsh,SCIENCE / Physics / General, bisacsh
Classification :
E-BOOK
84. Computer algebra in scientific computing :
Author: Victor G. Ganzha, Ernst W. Matr, Evgenii V. Vorozhtsov (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra -- Data processing -- Congresses.,Algebra -- Data processing.,Science -- Data processing -- Congresses.
85. Computer algebra in scientific computing :
Author: Victor G. Ganzha, Ernst W. Matr, Evgenii V. Vorozhtsov (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra -- Data processing -- Congresses.,Algebra -- Data processing.,Science -- Data processing -- Congresses.
86. Computer mathematics :
Author: editors, Kiyoshi Shirayanagi, Kazuhiro Yokoyama.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses.,Computer science, Congresses.,Computer science-- Mathematics.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
Classification :
QA76
.
9
.
M35
A83
2001eb
87. Computer science -- theory and applications :
Author: René van Bevern, Gregory Kucherov (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms, Congresses.,Computer science, Congresses.,Computer algorithms.,Computer science.
Classification :
QA75
.
5
88. Computing with hp-adaptive finite elements. Volume 2, Frontiers :
Author: Leszek Demkowicz [and others].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Finite element method.,MATHEMATICS -- Numerical Analysis.
89. Constraint Databases
Author: edited by Gabriel Kuper, Leonid Libkin, Jan Paredaens.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Database management.
Classification :
QA76
.
9
.
C67
E358
2000
90. Contemporary trends in nonlinear geometric control theory and its applications /
Author: A. Anzaldo-Meneses [and others].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Exterior differential systems.,Geometry, Differential.,Nonlinear control theory.,Exterior differential systems.,Geometry, Differential.,Nonlinear control theory.,TECHNOLOGY & ENGINEERING-- Automation.,TECHNOLOGY & ENGINEERING-- Robotics.
Classification :
QA402
.
35
.
C654
2002eb
91. Convergence of Iterations for Linear Equations
Author: by Olavi Nevanlinna.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Science (General).
92. Cryptographic hardware and embedded system, CHES 2003 :
Author: Colin D. Walter, Cetin K. Koç, Christof Paar (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer security -- Congresses.,Cryptography -- Congresses.,Embedded computer systems -- Congresses.
93. 3D game design engine design :
Author: David E. Eberly.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Game design.
94. Data-Driven Modeling & Scientific Computation :
Author: J. Nathan Kutz, Department of Applied Mathematics, University of Washington
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: MATLAB,Differential equations,Numerical analysis,Science-- Data processing
Classification :
Q183
.
9
.
K88
2013
95. Delay Equations, Approximation and Application
Author: edited by G. Meinardus, G. Nürnberger.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Science (General).
96. Developments in Reliable Computing
Author: edited by Tibor Csendes.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics.,Computer science.,Electronic data processing.
97. Differential Geometry and Related Topics :
Author: editors, Gu Chaohao, Hu Hesheng, Li Tatsien.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Geometry, Congresses.,Geometry, Differential, Congresses.,Geometry, Differential.,Geometry.,MATHEMATICS-- Geometry-- Differential.
Classification :
QA641
.
I67
2001eb
98. Differential Quadrature and Its Application in Engineering
Author: by Chang Shu.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Engineering mathematics.,Engineering.,Global analysis (Mathematics).
99. Differential quadrature and its application in engineering /
Author: Chang Shu.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Differential equations-- Numerical solutions.,Engineering mathematics.,Numerical integration.,Differential equations-- Numerical solutions.,Engineering mathematics.,Numerical integration.
Classification :
QA372
.
S454
2000
100. Discrete Transforms
Author: by Jean M. Firth.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Engineering.,Mathematics.
Classification :
QA601
.
B954
1992
